Sound Code Generation from Hybrid System Models: Some Theoretical Results
نویسندگان
چکیده
Code generation from hybrid system models, a promising approach for producing reliable embedded systems, has been our research focus for some time now. In this report, we summarize the progress made thus far and provide directions for research towards realization of this goal. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-05-03. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/6 Sound Code Generation from Hybrid System Models: Some Theoretical Results Madhukar Anand, Jesung Kim, and Insup Lee Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104 {anandm,jesung,lee}@saul.cis.upenn.edu
منابع مشابه
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the implementation process. Although there are appropriate models to design such systems and some tools that support automatic code generation from such models, several issues related to ensuring correctness of the imple...
متن کاملGenerating Sound and Resource-Aware Code from Hybrid System Models
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the implementation process. Although there are appropriate models to design such systems and some tools that support automatic code generation from such models, several issues related to ensuring correctness of the imple...
متن کاملDevelopment and Validation of Sound Transmission Loss Measurement System for Measuring Muffler Performance
Muffler is a part of the vehicle exhaust system that absorb or reflect sound waves to reduce exhaust noise. One of the most important determinants of a muffler performance is the amount of attenuation that has on its input wave; this parameter is known as sound transmission loss. Four - mic standard test is one way to determine this parameter which is used in this paper. In this study, a test d...
متن کاملSound Code Generation from Communicating Hybrid Models
Precise translation from hybrid models to code is difficult because models are defined in the continuous-time domain whereas code executes on digital computers in a discrete fashion. Traditional approach is to associate the model with a sampling rate before code generation, and rely on an approximate algorithm that computes the next state numerically. Depending on the choice of the sampling rat...
متن کاملElectricity Load Forecasting by Combining Adaptive Neuro-fuzzy Inference System and Seasonal Auto-Regressive Integrated Moving Average
Nowadays, electricity load forecasting, as one of the most important areas, plays a crucial role in the economic process. What separates electricity from other commodities is the impossibility of storing it on a large scale and cost-effective construction of new power generation and distribution plants. Also, the existence of seasonality, nonlinear complexity, and ambiguity pattern in electrici...
متن کامل